Quantifying the Dynamic Behavior of Process Algebras
نویسندگان
چکیده
The paper introduces a new approach to define process algebras with quantified transitions. A mathematical model is introduced which allows the definition of various classes of process algebras including the well known models of untimed, probabilistic and stochastic process algebras. For this general mathematical model a bisimulation equivalence is defined and it is shown that the equivalence is a congruence according to the operations of the algebra. By means of some examples it is shown that the proposed approach allows the definition of new classes of process algebras like process algebras over the max/plus or min/plus semirings.
منابع مشابه
Dynamic Simulation of Distillation Sequences in Dew Pointing Unit of South Pars Gas Refinery
The understanding of the dynamic behavior of distillation columns has received considerable attention because distillation is one of the most widely used unit operations in chemical process industries. This paper reports a dynamic simulation study of the possible distillation columns sequences of Dew pointing unit in the second phase of South Pars Gas Refinery. In this unit, three columns are u...
متن کاملInfluence of Converter and inverter on dynamic behavior of the GMAW process
This paper investigates the dynamic behavior of Gas Metal Arc Welding (GMAW) process for two types of power supplies –inverter and rectifier- for short circuit transfer mode. The large ripples on the rectifier power source are able to perturb the metal transfer mode. In this experimental work some operating points in the short circuit mode have been selected using an automatic pipeline welding ...
متن کاملStudying Dynamic behavior of Distributed Parameter Processes Behavior Based on Dominant Gain Concept and it’s Use in Controlling these Processes
In this paper, distributed parameter process systems behavior is studied in frequency domain. Based on the dominant gain concept that is developed for such studies, a method is presented to control distributed parameter process systems. By using dominant gain concept, the location of open loop zeros, resulted from the time delay parameter in the process model, were changed from the right half p...
متن کاملDynamic equivalence relation on the fuzzy measure algebras
The main goal of the present paper is to extend classical results from the measure theory and dynamical systems to the fuzzy subset setting. In this paper, the notion of dynamic equivalence relation is introduced and then it is proved that this relation is an equivalence relation. Also, a new metric on the collection of all equivalence classes is introduced and it is proved that this metric is...
متن کاملA dynamic risk analysis on new product development process
Abstract In the dynamic and competitive market, managers seek to find effective strategies for new products development. Since There has not been a thorough research in this field, this study is based on a review on the risks exist in the NPD process and an analysis of risks through FMEA approach to prioritize the existent risks and a modeling behavior of the NPD process and main risks using s...
متن کامل